Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages

نویسنده

  • Krzysztof R. Apt
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Nitric oxide in health and disease.

by Jill Lincoln, Charles H.V. Hoyle and Geoffrey Burnstock, Cambridge University Press, 1997. pound24.95 (pbk)/ pound70.00 (hbk) (xiv +363 pages) ISBN 0 521 55977 4/0 521 55038 6.

متن کامل

Algebraic Codes for Data Transmission

published by the press syndicate of the university of cambridge A catalogue record for this book is available from the British Library ISBN 0 521 55374 1 hardback Contents Preface page xi 1 Introduction 1 1.1 The discrete communication channel 2 1.2 The history of data-transmission codes 4 1.3 Applications 6 1.4 Elementary concepts 7 1.5 Elementary codes 14 Problems 17

متن کامل

Animal Learning and Cognition: A neural network approach.

by Nestor A. Schmajuk, Cambridge University Press, 1997. £29.95 (xii+340 pages) ISBN 0 521 45086 1.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • TPLP

دوره 17  شماره 

صفحات  -

تاریخ انتشار 2017